BONELLI, EDUARDO: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Assessing water demands and coverage sensitivity to climate change in the urban and rural sectors in central Chile

Meza, Francisco J., Vicuña, Sebastián, Jelinek, Mark, Bustos, Eduardo, Bonelli, Sebastián

Journal:

Journal of Water and Climate Change

Year:

2014

Language:

english

File:

PDF, 728 KB

english, 2014

2

Normalisation for higher-order calculi with explicit substitutions

Eduardo Bonelli

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 578 KB

english, 2005

3

Assessing barriers and enablers in the institutionalization of river-basin adaptive management: evidence from the Maipo Basin, Chile

VicuÃ±a, Sebastian, Scott, Christopher A, Borgias, Sophia, Bonelli, Sebastian, Bustos, Eduardo

Journal:

Current Opinion in Environmental Sustainability

Year:

2020

File:

PDF, 955 KB

2020

4

[ACM Press the 2008 ACM symposium - Fortaleza, Ceara, Brazil (2008.03.16-2008.03.20)] Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 - Type-based information flow analysis for bytecode languages with variable object field policies

Bavera, Francisco, Bonelli, Eduardo

Year:

2008

Language:

english

File:

PDF, 300 KB

english, 2008

5

Desenvolvimento de caminhar espinal em cães paraplégicos com fraturas e luxações vertebrais toracolombares

Araújo, Bruno Martins, Fernandes, Thaíza Helena Tavares, Baraúna Junior, Durval, Bonelli, Marília de Albuquerque, Amorim, Marcela Maria de Almeida, Tudury, Eduardo Alberto

Journal:

Pesquisa Veterinária Brasileira

Year:

2017

File:

PDF, 720 KB

2017

6

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

Compagnoni, Adriana, Sharma, Vishakha, Bao, Yifei, Libera, Matthew, Sukhishvili, Svetlana, Bidinger, Philippe, Bioglio, Livio, Bonelli, Eduardo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 1.48 MB

english, 2013

7

Estudo clínico e epidemiológico em cães com fraturas e luxações vertebrais toracolombares

Araújo, Bruno M., Fernandes, Thaíza H.T., Baraúna Junior, Durval, Bonelli, Marília de A., Amorim, Marcela M. de A., Tudury, Eduardo A.

Journal:

Pesquisa Veterinária Brasileira

Year:

2017

File:

PDF, 946 KB

2017

8

Perpetuality in a named lambda calculus with explicit substitutions

BONELLI, EDUARDO

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 496 KB

english, 2001

9

Antimicrobial resistance in Neisseria gonorrhoeae : history, molecular mechanisms and epidemiological aspects of an emerging global threat

Costa Lourenço, Ana Paula Ramalho da, Barros dos Santos, Késia Thaís, Moreira, Beatriz Meurer, Fracalanzza, Sergio Eduardo Longo, Bonelli, Raquel Regina

Journal:

Brazilian Journal of Microbiology

Year:

2017

Language:

english

File:

PDF, 687 KB

english, 2017

10

[ACM Press the 20th International Symposium - Frankfurt am Main, Germany (2018.09.03-2018.09.05)] Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming - PPDP '18 - Pattern Matching and Fixed Points

Barenbaum, Pablo, Bonelli, Eduardo, Mohamed, Kareem

Year:

2018

Language:

english

File:

PDF, 817 KB

english, 2018

11

The Linear Logical Abstract Machine

Eduardo Bonelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 367 KB

english, 2006

12

Boxed ambients with communication interfaces

GARRALDA, PABLO, BONELLI, EDUARDO, COMPAGNONI, ADRIANA, DEZANI-CIANCAGLINI, MARIANGIOLA

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 603 KB

english, 2007

13

Reduced susceptibility to cefixime but not ceftriaxone: an uncertain perspective for the treatment of gonorrhoea in Brazil

Costa-Lourenço, Ana Paula Ramalho, Abrams, Jeanine A., Barros dos Santos, Késia Thaís, Coelho-Souza, Talita, Moreira, Beatriz Meurer, Fracalanzza, Sergio Eduardo Longo, Trees, David L., Bonelli, Raque

Journal:

International Journal of Antimicrobial Agents

Year:

2017

Language:

english

File:

PDF, 161 KB

english, 2017

14

Correspondence Assertions for Process Synchronization in Concurrent Communications

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 315 KB

english, 2004

15

Typechecking Safe Process Synchronization

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 373 KB

english, 2005

16

Comparison of in vitro and in vivo systems to study ica-independent Staphylococcus aureus biofilms

Fabienne Antunes Ferreira, Raquel Rodrigues Souza, Raquel Regina Bonelli, Marco Antônio Américo, Sérgio Eduardo Longo Fracalanzza, Agnes Marie Sá Figueiredo

Journal:

Journal of Microbiological Methods

Year:

2012

Language:

english

File:

PDF, 581 KB

english, 2012

17

Typed path polymorphism

Ayala-Rincón, Mauricio, Bonelli, Eduardo, Edi, Juan, Viso, Andrés

Journal:

Theoretical Computer Science

Year:

2019

Language:

english

File:

PDF, 565 KB

english, 2019

18

Foundations of strong call by need

Balabonski, Thibaut, Barenbaum, Pablo, Bonelli, Eduardo, Kesner, Delia

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 884 KB

english, 2017

19

Intuitionistic Hypothetical Logic of Proofs

Steren, Gabriela, Bonelli, Eduardo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 290 KB

english, 2014

20

Correspondence assertions for process synchronization in concurrent communications

BONELLI, EDUARDO, COMPAGNONI, ADRIANA, GUNTER, ELSA

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 318 KB

english, 2005

21

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - A nonstandard standardization theorem

Accattoli, Beniamino, Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos

Year:

2014

Language:

english

File:

PDF, 553 KB

english, 2014

22

The first-order hypothetical logic of proofs

Steren, Gabriela, Bonelli, Eduardo

Journal:

Journal of Logic and Computation

Year:

2016

Language:

english

File:

PDF, 1.14 MB

english, 2016

23

Type Soundness for Path Polymorphism

Viso, Andrés, Bonelli, Eduardo, Ayala-Rincón, Mauricio

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 271 KB

english, 2016

24

Hypothetical Logic of Proofs

Bonelli, Eduardo, Steren, Gabriela

Journal:

Logica Universalis

Year:

2014

Language:

english

File:

PDF, 1.39 MB

english, 2014

25

On abstract normalisation beyond neededness

Bonelli, Eduardo, Kesner, Delia, Lombardi, Carlos, Ríos, Alejandro

Journal:

Theoretical Computer Science

Year:

2017

Language:

english

File:

PDF, 808 KB

english, 2017

26

Justification Logic as a foundation for certifying mobile computation

Eduardo Bonelli, Federico Feller

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 314 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски